data Pair a b = P a b